Nuprl Lemma : interface-compatible-symmetry 0,22

AB:Dsys. interface-compatible(A;B interface-compatible(B;A
latex


DefinitionsP  Q, MsgA, Dsys, interface-compatible(A;B), IdLnk, x:AB(x), t  T, Id, A & B, P & Q
LemmasId wf, IdLnk wf, dsys wf, interface-compatible wf

origin